Dense subtrees in complete Boolean algebras
نویسنده
چکیده
Every good introduction to set-theoretic forcing starts with basic forcing algebras like ”adding a Cohen real” or ”adding a Cohen subset of ω1”. It seems that these algebras are particularly simple mainly because they contain a dense subtree, so we might as well pretend we are forcing with a tree. Such a forcing is especially easy to visualize as the generic object will be a branch through the tree and the notions of comparability and compatibility coincide. The purpose of this note is to give a useful characterization of forcing algebras that contain such a dense subtree. As far as our knowledge goes, the following characterization has not been pointed out anywhere in the literature even though it seriously helps determining the isomorphism type of a forcing algebra.
منابع مشابه
1 5 D ec 1 99 7 REGULAR SUBALGEBRAS OF COMPLETE BOOLEAN ALGEBRAS
There is shown that there exists a complete, atomless, σ-centered Boolean algebra, which does not contain any regular countable subalgebra if and only if there exist a nowhere dense ultrafilter. Therefore the existence of such algebras is undecidable in ZFC. A subalgebra B of a Boolean algebra A is called regular whenever for every X ⊆ B, supB X = 1 implies supA X = 1; see e.g. Heindorf and Sha...
متن کاملKleene and Stone Algebras
Boolean algebras are affine complete by a well-known result of G. Grätzer. Various generalizations of this result have been obtained. Among them, a characterization of affine complete Stone algebras having a smallest dense element was given by R. Beazer. In this paper, generalizations of Beazer’s result are presented for algebras abstracting simultaneously Kleene and Stone algebras.
متن کاملBoolean Algebras, Tarski Invariants, and Index Sets
Tarski defined a way of assigning to each boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from N, such that two boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean al...
متن کاملRegular Subalgebras of Complete Boolean Algebras
It is proved that the following conditions are equivalent: (a) there exists a complete, atomless, σ–centered Boolean algebra, which does not contain any regular, atomless, countable subalgebra, (b) there exists a nowhere dense ultrafilter on ω. Therefore the existence of such algebras is undecidable in ZFC. In ”forcing language” condition (a) says that there exists a non– trivial σ–centered for...
متن کاملStone Algebra Extensions with Bounded Dense Set
Stone algebras have been characterized by Chen and Grätzer in terms of triples (B;D;'), whereD is a distributive lattice with 1; B is a Boolean algebra, and ' is a bounded lattice homomorphism from B into the lattice of lters of D: If D is bounded, the construction of these characterizing triples is much simpler, since the homomorphism ' can be replaced by one from B into D itself. The triple ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 52 شماره
صفحات -
تاریخ انتشار 2006